Implementing a STARI chip
نویسنده
چکیده
STARI is a high speed signaling technique that uses both synchronous and self timed circuits To demon strate STARI a chip has been fabricated using the MOSIS CMOS process In a simple test xture it operates at data rates of Mbits sec over a pair of wires Because STARI uses both synchronous and self timed circuits it provides an opportunity to compare these two design methods The synchronous circuits of the STARI chip achieve rates of operation two to three times those of the self timed circuits However the self timed FIFO in the receiver provides robust com pensation for clock skew that could not be achieved with synchronous circuitry alone Thus the STARI chip demonstrates advantages of combining these two design techniques
منابع مشابه
STARI: A Case Study in Compositional and Hierarchical Timing Verification
In TAKB96], we investigated techniques for checking if one real-time system correctly implements another and developed theory for hierarchical proofs and assume-guarantee style reasoning. In this study, using the techniques of TAKB96], we verify the correctness of the timing of the communication chip STARI.
متن کاملEfficient Self-Timed Interfaces for Crossing Clock Domains
With increasing integration densities, large chip designs are commonly partitioned into multiple clock domains. While the computation within each individual domain may be synchronous, the interfaces between these domains often use asynchronous methods. One such approach is the STARI technique[12, 13] where a self-timed FIFO compensates for clock-skew between the sender and receiver. We present ...
متن کاملEecient Veriication of Timed Automata Using Dense and Discrete Time Semantics ?
In this paper we argue that the semantic issues of discrete vs. dense time should be separated as much as possible from the pragmatics of state-space representation. Contrary to some misconceptions, the discrete semantics is not inherently bound to use state-explosive techniques any more than the dense one. In fact, discrete timed automata can be analyzed using any representation scheme (such a...
متن کاملcient Veri cation of Timed Automata using Dense and Discrete Time Semantics �
In this paper we argue that the semantic issues of discrete vs dense time should be separated as much as possible from the pragmatics of state space representation Contrary to some misconceptions the dis crete semantics is not inherently bound to use state explosive techniques any more than the dense one In fact discrete timed automata can be analyzed using any representation scheme such as DBM...
متن کاملSerologic evaluation of patients from Missouri with erythema migrans-like skin lesions with the C6 Lyme test.
Southern tick-associated rash illness (STARI), also known as Masters disease, affects people predominantly in the Southeast and South Central United States. These patients exhibit skin lesions that resemble erythema migrans (EM), the characteristic skin lesion in early Lyme disease. The etiology of STARI remains unknown, and no serologic test is available to aid in its diagnosis. The C6 Lyme en...
متن کامل